Klieber, William: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (7)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

Solving QBF with counterexample guided refinement

Janota, Mikoláš, Klieber, William, Marques-Silva, Joao, Clarke, Edmund

Журнал:

Artificial Intelligence

Рік:

2016

Мова:

english

Файл:

PDF, 1018 KB

english, 2016

2

[American Institute of Aeronautics and Astronautics 1st Space Exploration Conference: Continuing the Voyage of Discovery - Orlando, Florida (30 January 2005 - 01 February 2005)] 1st Space Exploration Conference: Continuing the Voyage of Discovery - Special Considerations in Space Exploration Requirements Formulation and Evolution

Deo, Ravi, VanGaasbeek, James, Klieber, William

Рік:

2005

Мова:

english

Файл:

PDF, 198 KB

english, 2005

3

[ACM Press the 3rd ACM SIGPLAN International Workshop - Edinburgh, United Kingdom (2014.06.12-2014.06.12)] Proceedings of the 3rd ACM SIGPLAN International Workshop on the State of the Art in Java Program Analysis - SOAP '14 - Android taint flow analysis for app sets

Klieber, William, Flynn, Lori, Bhosale, Amar, Jia, Limin, Bauer, Lujo

Рік:

2014

Мова:

english

Файл:

PDF, 365 KB

english, 2014

4

[IEEE 2016 IEEE Cybersecurity Development (SecDev) - Boston, MA, USA (2016.11.3-2016.11.4)] 2016 IEEE Cybersecurity Development (SecDev) - Automated Code Repair Based on Inferred Specifications

Klieber, William, Snavely, Will

Рік:

2016

Мова:

english

Файл:

PDF, 250 KB

english, 2016

5

[ACM Press the 13th International Conference - Hamburg, Germany (2018.08.27-2018.08.30)] Proceedings of the 13th International Conference on Availability, Reliability and Security - ARES 2018 - Practical Precise Taint-flow Static Analysis for Android App Sets

Klieber, William, Flynn, Lori, Snavely, Will, Zheng, Michael

Рік:

2018

Мова:

english

Файл:

PDF, 745 KB

english, 2018

6

[IEEE 2018 IEEE Cybersecurity Development (SecDev) - Cambridge, MA (2018.9.30-2018.10.2)] 2018 IEEE Cybersecurity Development (SecDev) - Detecting Leaks of Sensitive Data Due to Stale Reads

Snavely, Will, Klieber, William, Steele, Ryan, Svoboda, David, Kotov, Andrew

Рік:

2018

Мова:

english

Файл:

PDF, 176 KB

english, 2018

7

GhostQ

Klieber, William, Seidl, Martina, Pulina, Luca

Журнал:

Journal on Satisfiability, Boolean Modeling and Computation

Рік:

2019

Файл:

PDF, 290 KB

2019